Specifying ODP computational objects in Z

The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-ODP) shows how collections of objects can be configured within a distributed system to enable interworking. It prescribes certain capabilities that such objects are expected to possess and structuring rules that apply to how these objects can be configured with one another. This paper highlights how the specification language Z can be used to formalise these capabilities and the associated structuring rules, thereby enabling specifications of ODP systems from the computational viewpoint to be achieved

Learning Points and Routes to Recommend Trajectories

The problem of recommending tours to travellers is an important and broadly studied area. Suggested solutions include various approaches of points-of-interest (POI) recommendation and route planning. We consider the task of recommending a sequence of POIs, that simultaneously uses information about POIs and routes. Our approach unifies the treatment of various sources of information by representing them as features in machine learning algorithms, enabling us to learn from past behaviour. Information about POIs are used to learn a POI ranking model that accounts for the start and end points of tours. Data about previous trajectories are used for learning transition patterns between POIs that enable us to recommend probable routes. In addition, a probabilistic model is proposed to combine the results of POI ranking and the POI to POI transitions. We propose a new F$_1$ score on pairs of POIs that capture the order of visits. Empirical results show that our approach improves on recent methods, and demonstrate that combining points and routes enables better trajectory recommendations

HypTrails: A Bayesian Approach for Comparing Hypotheses About Human Trails on the Web

When users interact with the Web today, they leave sequential digital trails on a massive scale. Examples of such human trails include Web navigation, sequences of online restaurant reviews, or online music play lists. Understanding the factors that drive the production of these trails can be useful for e.g., improving underlying network structures, predicting user clicks or enhancing recommendations. In this work, we present a general approach called HypTrails for comparing a set of hypotheses about human trails on the Web, where hypotheses represent beliefs about transitions between states. Our approach utilizes Markov chain models with Bayesian inference. The main idea is to incorporate hypotheses as informative Dirichlet priors and to leverage the sensitivity of Bayes factors on the prior for comparing hypotheses with each other. For eliciting Dirichlet priors from hypotheses, we present an adaption of the so-called (trial) roulette method. We demonstrate the general mechanics and applicability of HypTrails by performing experiments with (i) synthetic trails for which we control the mechanisms that have produced them and (ii) empirical trails stemming from different domains including website navigation, business reviews and online music played. Our work expands the repertoire of methods available for studying human trails on the Web.Comment: Published in the proceedings of WWW'1

Specifying ODP Computational Objects in Z

The computational viewpoint contained within the Reference Model of Open Distributed Processing (RM-ODP) shows how collections of objects can be configured within a distributed system to enable interworking. It prescribes certain capabilities that such objects are expected to possess and structuring rules that apply to how these objects can be configured with one another. This paper highlights how the specification language Z can be used to formalise these capabilities and the associated structuring rules, thereby enabling specifications of ODP systems from the computational viewpoint to be achieved

Computational Discovery of Lanthanide Doped and Co-Doped Y₃Al₅O₁₂ for Optoelectronic Applications

We systematically elucidate the optoelectronic properties of rare-earth doped and Ce co-doped yttrium aluminum garnet (YAG) using hybrid exchange-correlation functional based density functional theory. The predicted optical transitions agree with the experimental observations for single doped Ce:YAG, Pr:YAG, and co-doped Er,Ce:YAG. We find that co-doping of Ce-doped YAG with any lanthanide except Eu and Lu lowers the transition energies; we attribute this behavior to the lanthanide-induced change in bonding environment of the dopant atoms. Furthermore, we find infrared transitions only in case of the Er, Tb, and Tm co-doped Ce:YAG and suggest Tm,Ce:YAG and Tb,Ce:YAG as possible functional materials for efficient spectral up-conversion devices

Direct Confirmation of the Asymmetry of the Cas A Supernova with Light Echoes

We report the first detection of asymmetry in a supernova (SN) photosphere based on SN light echo (LE) spectra of Cas A from the different perspectives of dust concentrations on its LE ellipsoid. New LEs are reported based on difference images, and optical spectra of these LEs are analyzed and compared. After properly accounting for the effects of finite dust-filament extent and inclination, we find one field where the He I and H alpha features are blueshifted by an additional ~4000 km/s relative to other spectra and to the spectra of the Type IIb SN 1993J. That same direction does not show any shift relative to other Cas A LE spectra in the Ca II near-infrared triplet feature. We compare the perspectives of the Cas A LE dust concentrations with recent three-dimensional modeling of the SN remnant (SNR) and note that the location having the blueshifted He I and H alpha features is roughly in the direction of an Fe-rich outflow and in the opposite direction of the motion of the compact object at the center of the SNR. We conclude that Cas A was an intrinsically asymmetric SN. Future LE spectroscopy of this object, and of other historical SNe, will provide additional insight into the connection of explosion mechanism to SN to SNR, as well as give crucial observational evidence regarding how stars explode.Comment: 13 pages, 7 figures, accepted for publication in Ap

Cross modal perception of body size in domestic dogs (Canis familiaris)

While the perception of size-related acoustic variation in animal vocalisations is well documented, little attention has been given to how this information might be integrated with corresponding visual information. Using a cross-modal design, we tested the ability of domestic dogs to match growls resynthesised to be typical of either a large or a small dog to size- matched models. Subjects looked at the size-matched model significantly more often and for a significantly longer duration than at the incorrect model, showing that they have the ability to relate information about body size from the acoustic domain to the appropriate visual category. Our study suggests that the perceptual and cognitive mechanisms at the basis of size assessment in mammals have a multisensory nature, and calls for further investigations of the multimodal processing of size information across animal species

Using Cherenkov pulse shapes to estimate mass composition

Abstract Composition measurements at TeV energies are traditionally made with satellite or balloon borne detectors which benefit from good discrimination but are severely limited by their collecting area and so yield poor statistics, particularly at higher energies. We have made ground based measurements with the atmospheric Cherenkov telescope BIGRAT, discriminating between different species of cosmic ray primary through characteristics of the Cherenkov pulse shape. By collecting data at low elevations, an increasing energy threshold for the detector allows us to probe a large energy range while maintaining reasonable statistics. A comparison of our data with Monte Carlo simulation is presented here

Materials, Manufacturing and Test Development of a Composite Fan Blade Leading Edge Subcomponent for Improved Impact Resistance

Application of polymer matrix composite materials for jet engine fan blades is becoming attractive as an alternative to metallic blades; particularly for large engines where significant weight savings are recognized on moving to a composite structure. However, the weight benefit of the composite of is offset by a reduction of aerodynamic efficiency resulting from a necessary increase in blade thickness; relative to the titanium blades. Blade dimensions are largely driven by resistance to damage on bird strike. Further development of the composite material is necessary to allow composite blade designs to approximate the dimensions of a metallic fan blade. The reduction in thickness over the state of the art composite blades is expected to translate into structural weight reduction, improved aerodynamic efficiency, and therefore reduced fuel consumption. This paper presents test article design, subcomponent blade leading edge fabrication, test method development, and initial results from ballistic impact of a gelatin projectile on the leading edge of composite fan blades. The simplified test article geometry was developed to realistically simulate a blade leading edge while decreasing fabrication complexity. Impact data is presented on baseline composite blades and toughened blades; where a considerable improvement to impact resistance was recorded

Electron Microscopy Of Wood Of Callixylon And Cordaites

Peer Reviewedhttps://deepblue.lib.umich.edu/bitstream/2027.42/141638/1/ajb210693.pd